#Gil Kalai

突发！Claude 拿下概率论「圣杯」，AI 跨过菲尔兹奖终点线 — 渗流连续相变猜想证明

2026-08-30，菲尔兹奖得主 Hugo Duminil-Copin 在博客里感慨"最著名的概率论猜想倒在 AI 推土机轰鸣下只是时间问题"，几乎同时 Anthropic 工程师 Justin Leder 在 GitHub 上传了 Claude 自动生成 + Lean 形式化严格验证的代码，70 年概率论圣杯——渗流连续相变猜想——被 AI 证明。猜想核心是 p=p_c 临界点上无限大连通网络能否形成（=0 连续 vs >0 突变），1980 年 Harry Kesten 2D 证明到 p_c=1/2，11 维及以上高维同样连续，3-10 维中间维度 70 年未解。